An Ultimate Hyperfinite Ultralogic Unification for all Physical Theories
نویسنده
چکیده
Let {S′Ni | i ∈ IN} represent a set consequence operators defined on the language Λ, where each member of {S′Ni | i ∈ IN} corresponds to a science-community physical theory. It is shown that there exists a hyperfinite ultralogic U ∈ ∗Cf defined on all internal subsets of Λ such that U 6 = U, and, for each i ∈ IN, S Ni ( ∗Ni) = U( ∗Ni). For each internal Y ⊂ Λ, ⋃ { S Ni (Y ) | i ∈ IN} ⊂ U(Y ) ⊂ Λ. Further, if finite X ⊂ Λ, then ⋃ { S Ni (X) | i ∈ IN} ⊂ U(X), and if each member of {SVNi | i ∈ IN} is a practical consequence operator, then ⋃ {S Ni (X) | i ∈ IN} ⊂ U(X), and, for each i ∈ IN, S Ni (Ni) = U(Ni).
منابع مشابه
The best possible unification for any collection of physical theories
We show that the set of all finitary consequence operators defined on any nonempty language is a join-complete lattice. This result is applied to various collections of physical theories to obtain an unrestricted standard supremum unification. An unrestricted hyperfinite ultralogic unification for sets of physical theories is also obtained. 1. Introduction. A restricted hyperfinite ultralogic u...
متن کاملAn Ultimate Hyperfinite Ultralogic Unification for Collections of Physical Theories
Let {S′Ni | i ∈ IN} represent a set of consequence operators defined on a language Λ, where each member of {S′Ni | i ∈ IN} corresponds to a science-community physical theory and each Ni is a S′Nj -system for each j ∈ IN. It is shown that there exists a hyperfinite ultralogic U ∈ ∗Cf defined on all internal subsets of Λ such that U 6 = U, and, for each i, j ∈ IN, S Ni ( ∗Nj) = U( ∗Nj). For each ...
متن کاملUnification for Collections of Physical Theories
Let {S′Ni | i ∈ IN} represent a set of consequence operators defined on a language Λ, where each member of {S′Ni | i ∈ IN} corresponds to a science-community physical theory and each Ni is a S′Nj -system for each j ∈ IN. It is shown that there exists a hyperfinite ultralogic U ∈ ∗Cf defined on all internal subsets of Λ such that U 6 = U, and, for each i, j ∈ IN, S Ni ( ∗Nj) = U( ∗Nj). For each ...
متن کاملUltralogic Unification for Collections of Physical Theories
Let {S′Ni | i ∈ IN} represent a set of consequence operators defined on a language Λ, where each member of {S′Ni | i ∈ IN} corresponds to a science-community physical theory and each Ni is a S′Nj -system for each j ∈ IN. It is shown that there exists a hyperfinite ultralogic U ∈ ∗Cf defined on all internal subsets of Λ such that U 6 = U, and, for each i, j ∈ IN, S Ni ( ∗Nj) = U( ∗Nj). For each ...
متن کاملStandard and Hyperfinite Unifications for Physical Theories
A set of physical theories is represented by a nonempty subset {SVNj | j ∈ IN} of the lattice of consequence operators defined on a language Λ. It is established that there exists a unifying injection S defined on the nonempty set of significant representations for naturalsystems M ⊂ Λ. If W ∈ M, then SW is a hyperfinite ultralogic and ⋃ {SVNj (W) | j ∈ IN} = SW( W) ∩ Λ. A “product” hyperfinite...
متن کامل